simplify log(sin(1/2 sin^-1(x))+cos(1/2 sin^-1(x)))-log(cos(1/2 sin^-1(x))-sin(1/2 sin^-1(x)))